Systems analysis

Results: 12418



#Item
71.Quantitative Analysis of Distributed Probabilistic Systems Ratul Saha

.Quantitative Analysis of Distributed Probabilistic Systems Ratul Saha

Add to Reading List

Source URL: www.cse.iitb.ac.in

Language: English - Date: 2016-02-25 04:01:28
    72The Dissertation Committee for Zaher Kassas certifies that this is the approved version of the following dissertation: Analysis and Synthesis of Collaborative Opportunistic Navigation Systems

    The Dissertation Committee for Zaher Kassas certifies that this is the approved version of the following dissertation: Analysis and Synthesis of Collaborative Opportunistic Navigation Systems

    Add to Reading List

    Source URL: aspin.ucr.edu

    Language: English - Date: 2016-09-07 23:14:30
      73Analysis of Service Oriented Software Systems with the Conversation Calculus Lu´ıs Caires and Hugo Torres Vieira CITI and Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisbo

      Analysis of Service Oriented Software Systems with the Conversation Calculus Lu´ıs Caires and Hugo Torres Vieira CITI and Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisbo

      Add to Reading List

      Source URL: ctp.di.fct.unl.pt

      Language: English - Date: 2012-09-27 14:27:12
        741 Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems Nan Guan1 , Mengying Zhao2 , Chun Jason Xue2 , Yongpan Liu3 and Wang Yi4 1

        1 Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems Nan Guan1 , Mengying Zhao2 , Chun Jason Xue2 , Yongpan Liu3 and Wang Yi4 1

        Add to Reading List

        Source URL: user.it.uu.se

        Language: English - Date: 2015-08-11 07:48:28
          75The Analysis of a Friendly Fire Accident using a Systems Model of Accidents* N.G. Leveson, Ph.D.; Massachusetts Institute of Technology; Cambridge, Massachusetts Polly Allen, Margaret-Anne Storey, Ph.D.; University of Vi

          The Analysis of a Friendly Fire Accident using a Systems Model of Accidents* N.G. Leveson, Ph.D.; Massachusetts Institute of Technology; Cambridge, Massachusetts Polly Allen, Margaret-Anne Storey, Ph.D.; University of Vi

          Add to Reading List

          Source URL: sunnyday.mit.edu

          Language: English - Date: 2015-12-11 12:29:40
            76Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh,

            Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh,

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            Language: English - Date: 2010-05-13 03:56:16
              77

              NGA Coordinate Systems Analysis Team (CSAT) August 2005 Updated January 2006 GRID COORDINATES Universal Transverse Mercator (UTM)

              Add to Reading List

              Source URL: earth-info.nga.mil

              Language: English - Date: 2006-12-12 10:47:45
                78Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

                Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

                Add to Reading List

                Source URL: www.cs.bham.ac.uk

                Language: English - Date: 2010-04-20 09:42:28
                  79The Art of Defiling Defeating Forensic Analysis on Unix File Systems the grugq Overview

                  The Art of Defiling Defeating Forensic Analysis on Unix File Systems the grugq Overview

                  Add to Reading List

                  Source URL: grugq.github.io

                  Language: English - Date: 2018-04-12 01:57:41
                    80FORMATS’08 – Call for Papers 6th International Conference on Formal Modeling and Analysis of Timed Systems Saint-Malo, France, September 15th–17th http://formats08.inria.fr/ (Co-located with QEST’08)

                    FORMATS’08 – Call for Papers 6th International Conference on Formal Modeling and Analysis of Timed Systems Saint-Malo, France, September 15th–17th http://formats08.inria.fr/ (Co-located with QEST’08)

                    Add to Reading List

                    Source URL: formats08.inria.fr

                    Language: English - Date: 2008-04-01 09:08:03